| emsoft | participants

David Garlan

EMSOFT 2014: 14th International Conference on Embedded Software

Contract-Based Integration of Cyber-Physical Analyses

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, and David Garlan